Nuprl Definition : f2f+Ack 11,40
f2f+Ack(f2f+) == (f2f+.2).1 
latex

Definitionst.1, t.2
FDL editor aliasesf2f+Ack

origin